Formal proof

#	Item
361	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2007-04-17 17:02:53 Mathematical logic Knowledge Mizar system QED manifesto Proof assistant Mathematical proof Automated proof checking Andrzej Trybulec Constructivism Logic Mathematics Formal methods
362	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2006-10-25 07:16:45 Predicate logic Proof theory Formal systems Metalogic First-order logic Natural deduction Well-formed formula Axiom FO Logic Mathematical logic Mathematics
363	PDF Document Add to Reading List Source URL: epgy.stanford.edu Language: English - Date: 2002-07-21 00:10:46 Logical syntax Stanford University Philosophical logic Mathematical logic Education Program for Gifted Youth Mathematical proof Theorem Formal proof Calculus Logic Mathematics Automated theorem proving
364	Untitled Add to Reading List Source URL: apertum.110mb.com Language: English - Date: 2008-10-17 19:29:18 Analytic philosophy Semantics Philosophical logic Meaning Pragmatics Illocutionary act Truth Speech act Formal proof Linguistics Philosophy of language Philosophy
365	PDF Document Add to Reading List Source URL: dl.dropbox.com Language: English Proof theory Deduction Philosophical logic Formal systems Function Theorem Deductive reasoning Mathematical proof Formal proof Logic Mathematics Logical syntax